\begin{tabbing}
(((if (((first\_nat 3:n)) = 0) then (Repeat (ParallelOp ( {-}1)$\cdot$
\\[0ex])\=) else (RepeatFor (first\_nat 3:n) (ParallelOp ( {-}1)$\cdot$)))$\cdot$) \+
\\[0ex]CollapseTHEN (((
\-\\[0ex]R\=WO "cons\_member" 0) \+
\\[0ex]CollapseTHEN (MaAuto$\cdot$))$\cdot$))$\cdot$
\-
\end{tabbing}